منابع مشابه
A Note on Logical Relations Between Semantics and Syntax
This note gives a new proof of the ‘operational extensionality’ property of Abramsky’s lazy lambda calculus—namely the coincidence of contextual equivalence with a co-inductively defined notion of ‘applicative bisimilarity’. This purely syntactic result is here proved using a logical relation (due to Plotkin) between the syntax and its denotational semantics. The proof exploits a mixed inductiv...
متن کاملA note on the transitivity of step-indexed logical relations
We present and discuss a simple semantic approach to force step-indexed logical relations to be transitive.
متن کاملA Note on Designing Logical Circuits Using SAT
We present a systematic procedure for the synthesis and minimisation of digital circuits using propositional satisfiability. We encode the truth table into a canonical sum of at most k different minterms, which is then passed to one randomised search procedure that minimises k. The solution for a minimal k is the satisfiable representation of the resulting circuit. We show how to use an interes...
متن کاملA Note On Logical PERs and ReducibilityLogical Relations
We prove a general theorem for establishing properties expressed by binary relations on typed ((rst-order)-terms, using a variant of the reducibility method and logical PERs. As an application, we prove simultaneously that-reduction in the simply-typed-calculus is strongly normalizing, and that the Church-Rosser property holds (and similarly for-reduction).
متن کاملA Note on Epistemology and Logical Artificial Intelligence
Contemporary analytical epistemology and logical artificial intelligence are complementary disciplines. This is most apparent when considering the structure of what we call epistemic relations, among which inferential are of special concern. In this essay we discuss key correspondence results between semantics for logic programs and default logic. Our aim is to show that there now exist suffici...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mind
سال: 1905
ISSN: 0026-4423,1460-2113
DOI: 10.1093/mind/xiv.3.440